fmap g (Store f s) = Store (g . f) s